1
In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

Saeideh Shirinzadeh, Rolf Drechsler
Tahun:
2019
Bahasa:
english
Fail:
PDF, 2.05 MB
0 / 0
english, 2019
2
Debugging at the Electronic System Level

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler (auth.)
Tahun:
2010
Bahasa:
english
Fail:
PDF, 2.72 MB
0 / 0
english, 2010
5
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

Joachim Wegener (auth.), Rolf Drechsler, Nicole Drechsler (eds.)
Tahun:
2003
Bahasa:
english
Fail:
PDF, 14.21 MB
0 / 0
english, 2003
6
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
Tahun:
2004
Bahasa:
english
Fail:
PDF, 4.44 MB
0 / 0
english, 2004
7
Computer - Wie funktionieren Smartphone, Tablet & Co.?

Computer - Wie funktionieren Smartphone, Tablet & Co.?

Rolf Drechsler, Andrea Fink, Jannis Stoppe
Tahun:
2017
Bahasa:
german
Fail:
PDF, 2.44 MB
0 / 0
german, 2017
13
Advanced formal verification

Advanced formal verification

Rolf Drechsler
Tahun:
2004
Bahasa:
english
Fail:
PDF, 2.02 MB
0 / 0
english, 2004
16
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
Tahun:
2004
Bahasa:
english
Fail:
PDF, 4.44 MB
0 / 0
english, 2004
19
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
Tahun:
2004
Bahasa:
english
Fail:
PDF, 4.04 MB
0 / 0
english, 2004
21
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Vladimir Herdt, Daniel Große, Rolf Drechsler
Tahun:
2021
Bahasa:
english
Fail:
PDF, 4.83 MB
0 / 0
english, 2021
22
Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

Drechsler, Rolf
Tahun:
2018
Bahasa:
english
Fail:
PDF, 6.33 MB
0 / 5.0
english, 2018
23
Information Storage: A Multidisciplinary Perspective

Information Storage: A Multidisciplinary Perspective

Cornelia S. Große, Rolf Drechsler
Tahun:
2020
Bahasa:
english
Fail:
PDF, 6.62 MB
0 / 0
english, 2020
24
Advanced Logic Synthesis

Advanced Logic Synthesis

André Inácio Reis, Rolf Drechsler (eds.)
Tahun:
2018
Bahasa:
english
Fail:
PDF, 6.76 MB
0 / 5.0
english, 2018
26
Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

Mathias Soeken, Rolf Drechsler
Tahun:
2020
Bahasa:
english
Fail:
PDF, 3.59 MB
5.0 / 5.0
english, 2020
29
Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

Oliver Keszocze, Robert Wille, Rolf Drechsler
Tahun:
2019
Bahasa:
english
Fail:
PDF, 4.03 MB
0 / 0
english, 2019
30
Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Tahun:
2022
Bahasa:
english
Fail:
PDF, 5.57 MB
0 / 0
english, 2022
35
Quality-Driven SystemC Design

Quality-Driven SystemC Design

Daniel Große, Rolf Drechsler (auth.)
Tahun:
2010
Bahasa:
english
Fail:
PDF, 2.70 MB
0 / 0
english, 2010
36
Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

Muhammad Hassan, Daniel Große, Rolf Drechsler
Tahun:
2022
Bahasa:
english
Fail:
PDF, 3.34 MB
0 / 5.0
english, 2022
37
Advanced BDD Optimization

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
Tahun:
2005
Bahasa:
english
Fail:
PDF, 3.46 MB
0 / 0
english, 2005
41
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

Drechsler, Rolf
Tahun:
2018
Bahasa:
english
Fail:
PDF, 6.33 MB
0 / 0
english, 2018
42
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler (auth.)
Tahun:
1998
Bahasa:
english
Fail:
PDF, 4.85 MB
0 / 0
english, 1998
43
Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Tahun:
2023
Bahasa:
english
Fail:
PDF, 4.19 MB
5.0 / 5.0
english, 2023
44
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

Stephan Eggersglüß, Rolf Drechsler (auth.)
Tahun:
2012
Bahasa:
english
Fail:
PDF, 1.51 MB
0 / 0
english, 2012
45
Formal Verification of Circuits

Formal Verification of Circuits

Rolf Drechsler (auth.)
Tahun:
2000
Bahasa:
english
Fail:
PDF, 12.73 MB
0 / 0
english, 2000
46
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler, Bernd Becker (auth.)
Tahun:
1998
Bahasa:
english
Fail:
PDF, 7.56 MB
0 / 0
english, 1998
48
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Robert Wille, Rolf Drechsler (auth.)
Tahun:
2010
Bahasa:
english
Fail:
PDF, 3.49 MB
0 / 0
english, 2010
49
Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

Görschwin Fey, Rolf Drechsler
Tahun:
2008
Bahasa:
english
Fail:
PDF, 769 KB
0 / 0
english, 2008